\chapter{相关定理证明}

\section{对定理\ref{thm:path_fwd}的证明}
\label{sec:path_fwd_proof}

\section{对定理\ref{thm:succ_corres}的证明}
\label{sec:succ_corres_proof}
